Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
241	Synthesis of Loop-free Programs Sumit Gulwani Susmit Jha ∗ Ashish Tiwari † Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-03 21:06:21 Applied mathematics Satisfiability Modulo Theories Constraint satisfaction problem Boolean satisfiability problem Constraint logic programming Decomposition method Theoretical computer science Constraint programming Declarative programming
242	Specifying Input/Output by Enumeration Walter W. Wilson and Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Input/output is awkward in declarative languages [2]. Some functional lan Add to Reading List Source URL: csl.stanford.edu Language: English - Date: 2010-06-09 06:14:39 Lisp programming language Functional languages Cross-platform software Lisp Prolog S-expression Programming language AWK Function Computing Software engineering Computer programming
243	Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Higher-order functions Subroutines Functional programming Lambda calculus Type theory Fold Map Function Currying Software engineering Declarative programming Computing
244	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-28 16:23:58 Declarative programming Combinatory logic Lazy evaluation Anonymous function Fold Apply Free variables and bound variables Function Curry Software engineering Computing Lambda calculus
245	LibreS3: design, challenges, and steps toward reusable libraries Török Edwin e [removed] e Skylable L Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 23:52:34 Adjoint functors Functional programming Monad OCaml Declarative programming Software engineering Computer programming
246	An Integrated Modelling, Debugging, and Visualisation Environment for G12 Andreas Bauer1,2 , Viorica Botea1 , Mark Brown1 , Matt Gray1,2 , Daniel Harabor1,2 , and John Slaney1,2 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2010-09-28 20:00:42 Computer programming ECLiPSe Constraint graph Local consistency Solver Search algorithm Constraint satisfaction Constraint programming Declarative programming Software engineering
247	From Logic Programming 22 July 99-AMAI Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 05:28:49 Declarative programming Constraint programming Reasoning Charles Sanders Peirce Epistemology Abductive logic programming Constraint logic programming Schedule Prolog Logic programming Software engineering Science
248	Microsoft Word - PPCP94.DOC Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 14:46:28 Mathematical optimization Computing Declarative programming Constraint algorithm Computer-aided design Constraint Project management Check Constraint Theory of constraints Constraint programming Software engineering Computer programming
249	JavaDD: a Declarative Debugger for Java Hani Z. Girgis Bharat Jayaraman Department of Computer Science and Engineering Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2006-03-20 14:13:52 Cross-platform software Debugging Prolog Java SQL Pointer Exception handling Objective-C Microsoft Visual Studio Computing Computer programming Software engineering
250	Teaching Functional Programming and Erlang: The Galician Experience? Victor M. Gulias MADS Group, Department of Computer Science University of A Coru˜ na, Spain Add to Reading List Source URL: www.erlang.se Language: English - Date: 2005-11-17 06:16:11 Functional languages Programming paradigms Erlang Concurrent computing Functional programming OCaml Caml Imperative programming Declarative programming Software engineering Computing Computer programming

UPDATE